perm filename LSPDOC.PUB[BOO,JMC]1 blob
sn#380920 filedate 1978-09-18 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00004 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .<< Assemble the parts of Recursive Programming in LISP>>
C00003 00003 .begin "ASSEMBLY"
C00004 00004 .INSERT CONTENTS
C00006 ENDMK
C⊗;
.<< Assemble the parts of Recursive Programming in LISP>>
.<< WARNING!!! be sure to turn off local pub commands before pubbing this file>>
.require "bkmac.pub[lsp,clt]" source_file
.
.
.MACRO GET(FILE) ⊂ BEGIN "FILE" REQUIRE "FILE" SOURCE_FILE
.END "FILE" ⊃
.begin "ASSEMBLY"
.
.
.BEGIN "Title"
.pagehigh←54
.pagewide←80
.PAGE FRAME pagehigh HIGH pagewide WIDE;
.evenleftborder ← oddleftborder ← 1000;
.area title lines 16 to pagehigh;
.place title;
.sname ← SSNAME ← NULL
.PORTION TITLEPAGE
.FONT A "BEESIX";
.center select A
LISP
.SKIP 2
Programming and Proving
.SKIP 4
.skip 10
.select 1
.TURN ON "{}"
Copyright %8@%* {year}
.skip
John McCarthy and Carolyn Talcott
.skip 2
Stanford University
.skip 3
This version printed at {time} on {date}.
.TURN OFF
.END "Title"
.
.INSERT CONTENTS
.COUNT PAGE FROM 1 TO 999
.COUNT SECTION FROM 1 TO 999
.COUNT SUBSECTION IN SECTION FROM 1 TO 999
.NOTASSEMBLING ← FALSE
.BEGIN "Text"
.sname ← SSNAME ← NULL
.turnon "{}"
.PORTION MAINPORTION
.SET SECTIONPARS(,,Introduction,i)
.GET PREFAC
.SET SECTIONPARS(I,1,Chapter,1)
.itemmac
.eqnmac
.figmac
.tablemac
.GET READIN
.GET WRITIN
.GET PROVIN
.GET IMPURE
.GET MACHIN
.GET SEARCH
.GET EXTEND
.GET ABSNTX
.GET COMPIL
.GET COMPUT
.SET SECTIONPARS(,,Bibliography,i)
.GET LSPBIB
.SET SECTIONPARS(A,1,Appendix,i)
.GET LCOMAP
.END "Text"
.
.
.insert FNINDEX
.mkindex(FUNCTION INDEX,FNINDEX)
.mkcontents
.END "ASSEMBLY"